Received: from virtual.bbc.co.uk (virtual.bbc.co.uk [132.185.132.199])
by odie.barnet.ac.uk (8.8.6/8.8.6) with ESMTP id LAA32123
for <willy@odie.barnet.ac.uk>; Mon, 1 Jun 1998 11:05:50 +0100
Received: from nic.funet.fi (nic.funet.fi [128.214.248.6])
by virtual.bbc.co.uk (8.8.5/8.8.5) with ESMTP id LAA14893
for <willy@bofh.ai>; Mon, 1 Jun 1998 11:05:51 +0100 (BST)
Received: from vger.rutgers.edu ([128.6.190.2]:19765 "EHLO vger.rutgers.edu" ident: "root") by nic.funet.fi with ESMTP id <2554-668>; Mon, 1 Jun 1998 13:04:32 +0300
Received: by vger.rutgers.edu id <971154-11595>; Mon, 1 Jun 1998 04:56:27 -0400
Received: from hermes.ex.ac.uk ([144.173.6.14]:10562 "EHLO exeter.ac.uk" ident: "NO-IDENT-SERVICE[2]") by vger.rutgers.edu with ESMTP id <971189-11595>; Mon, 1 Jun 1998 04:55:50 -0400
Received: from hebe [144.173.6.23] by hermes via SMTP (LAA04838); Mon, 1 Jun 1998 11:03:01 +0100 (BST)
Date: Mon, 1 Jun 1998 11:03:01 +0100 (BST)
From: Phil Norman <P.C.F.Norman@exeter.ac.uk>
X-Sender: py95pcfn@hebe
To: Sam Kington <sam@illuminated.co.uk>
cc: ARM Linux mailing list <linux-arm@vger.rutgers.edu>